Visibly Counter Languages and Constant Depth Circuits
نویسندگان
چکیده
We examine visibly counter languages, which are languages recognized by visibly counter automata (a.k.a. input driven counter automata). We are able to effectively characterize the visibly counter languages in AC0, and show that they are contained in FO[+].
منابع مشابه
Learning Visibly One-Counter Automata in Polynomial Time
Visibly one-counter automata are a restricted kind of one-counter automata: The input symbols are typed such that the type determines the instruction that is executed on the counter when the input symbol is read. We present an Angluin-like algorithm for actively learning visibly one-counter automata that runs in polynomial time in characteristic parameters of the target language and in the size...
متن کاملLower Bounds for Uniform Constant Depth Circuits by Vivek Kashinath Gore
OF THE DISSERTATION Lower Bounds for Uniform Constant Depth Circuits by Vivek Kashinath Gore, Ph.D. Dissertation Director: Professor Eric Allender Boolean circuits were introduced in complexity theory to provide a model for parallel computation. A big advantage of studying Boolean circuits is that they can be viewed as simple combinatorial objects and thus allow us to use many algebraic and com...
متن کاملRegularity Problems for Visibly Pushdown Languages
Visibly pushdown automata are special pushdown automata whose stack behavior is driven by the input symbols according to a partition of the alphabet. We show that it is decidable for a given visibly pushdown automaton whether it is equivalent to a visibly counter automaton, i.e. an automaton that uses its stack only as counter. In particular, this allows to decide whether a given visibly pushdo...
متن کاملLecture 11 : Circuit Lower
There are specific kinds of circuits for which lower bounds techniques were successfully developed. One is small-depth circuits, the other is monotone circuits. For constant-depth circuits with AND,OR,NOT gates, people proved that they cannot compute simple functions like PARITY [3, 1] or MAJORITY. For monotone circuits, Alexander A. Razborov proved that CLIQUE, an NP-complete problem, has expo...
متن کاملBounds on the Power of Constant-Depth Quantum Circuits
We show that if a language is recognized within certain error bounds by constant-depth quantum circuits over a finite family of gates, then it is computable in (classical) polynomial time. In particular, for 0 < ≤ δ ≤ 1, we define BQNC ,δ to be the class of languages recognized by constant depth, polynomial-size quantum circuits with acceptance probability either < (for rejection) or ≥ δ (for a...
متن کامل